쌍선형 형식

쌍선형 형식은 대칭성 또는 반대칭성이라는 중요한 성질을 가질 수 있다. 이 성질은 쌍선형 형식이 두 벡터 인자의 순서를 바꾸었을 때 어떻게 반응하는지를 규정한다.

대칭 쌍선형 형식은 모든 벡터 v, w에 대해 B(v, w) = B(w, v)를 만족하는 형식이다. 즉, 두 인자의 위치를 서로 바꾸어도 그 값이 동일하게 유지된다. 이는 가장 흔히 접하는 내적이 대표적인 예시이며, 이차 형식과 밀접하게 연결된다. 모든 대칭 쌍선형 형식은 유일한 이차 형식을 결정하며, 반대로 이차 형식으로부터 대칭 쌍선형 형식을 유도할 수 있다.

반대칭 쌍선형 형식은 모든 벡터 v, w에 대해 B(v, w) = -B(w, v)를 만족하는 형식이다. 이 성질은 특히 미분기하학에서 미분 형식의 기초가 되는 개념으로 중요하게 사용된다. 반대칭성으로 인해 B(v, v) = 0이 성립한다는 점이 특징이다. 교대 쌍선형 형식은 반대칭 쌍선형 형식과 밀접한 관련이 있으며, 체의 표수가 2가 아닌 경우 두 개념은 동치이다.

이러한 대칭성과 반대칭성은 쌍선형 형식의 행렬 표현에도 직접적으로 반영된다. 기저가 주어졌을 때, 대칭 쌍선형 형식의 표현 행렬은 전치 행렬이 자기 자신과 같은 대칭 행렬이 되며, 반대칭 쌍선형 형식의 표현 행렬은 전치 행렬이 자기 자신의 음수가 되는 반대칭 행렬이 된다.

쌍선형 형식의 핵심 성질은 각 변수에 대해 선형성을 가진다는 점이다. 즉, 두 개의 벡터 변수를 가지는 함수가 각각의 변수에 대해 따로 보았을 때 선형 변환의 성질을 지닌다.

구체적으로, 벡터 공간 V 위에서 정의된 쌍선형 형식 B: V × V → K (K는 스칼라 체)는 첫 번째 변수와 두 번째 변수 각각에 대해 선형성을 만족한다. 이는 임의의 벡터 u, v, w ∈ V와 스칼라 a, b ∈ K에 대해 다음 두 조건이 성립함을 의미한다.

이러한 선형성 덕분에 쌍선형 형식은 행렬을 통해 간결하게 표현될 수 있으며, 기저를 고정하면 그 값 계산이 행렬 곱셈으로 환원된다. 또한, 선형성은 쌍선형 형식이 대칭성이나 반대칭성과 같은 추가 구조와 결합될 수 있는 기반이 된다. 쌍선형 형식의 이러한 성질은 이차 형식을 생성하거나 내적 공간을 정의하는 데 필수적이다.

쌍선형 형식은 주어진 기저에 대해 행렬로 표현할 수 있다. 유한 차원 벡터 공간 V와 그 기저 β = {e1, ..., en}가 주어졌을 때, 쌍선형 형식 B: V × V → K에 대한 행렬 표현 M_B는 (i, j) 성분이 B(e_i, e_j)인 n×n 행렬로 정의된다. 이 행렬을 이용하면 임의의 벡터 v, w에 대한 형식의 값 B(v, w)를 계산할 수 있다. 벡터 v와 w를 기저 β에 대한 좌표 벡터 [v]_β, [w]_β로 나타내면, B(v, w) = [v]_β^T * M_B * [w]_β가 성립한다. 이는 행렬 곱셈과 전치 행렬을 통해 쌍선형 형식의 계산을 대수적으로 수행할 수 있게 해준다.

쌍선형 형식의 행렬 표현은 기저의 선택에 의존한다. 동일한 쌍선형 형식이라도 다른 기저를 사용하면 서로 다른 행렬로 표현된다. 두 기저 사이의 기저 변환 행렬이 P일 때, 새로운 기저에서의 행렬 표현 M_B'는 M_B' = P^T * M_B * P의 관계를 만족한다. 이러한 변환을 합동 변환이라고 한다. 쌍선형 형식의 중요한 성질들, 예를 들어 대칭성이나 반대칭성, 또는 퇴화성 등은 행렬 표현을 통해 판별할 수 있으며, 이는 이차 형식을 연구하는 데 핵심적인 도구가 된다.

쌍선형 형식과 밀접하게 연관된 중요한 개념이 이차 형식이다. 주어진 쌍선형 형식 B에 대응하는 이차 형식 Q는 Q(v) = B(v, v)로 정의된다. 즉, 쌍선형 형식의 두 입력에 동일한 벡터를 대입하여 얻는 함수이다. 이는 선형대수학과 미분기하학에서 곡면의 곡률 등을 연구하는 데 핵심적인 도구로 사용된다.

반대로, 하나의 이차 형식 Q가 주어지면 이를 통해 대칭 쌍선형 형식을 복원할 수 있다. 이 과정을 극화 항등식이라고 한다. 예를 들어, 실수 또는 복소수 체 위의 벡터 공간에서 대칭 쌍선형 형식 B는 B(v, w) = (1/2)[Q(v+w) - Q(v) - Q(w)] 와 같이 이차 형식 Q로부터 유도된다. 이는 이차 형식과 대칭 쌍선형 형식이 서로를 결정짓는 동등한 정보를 담고 있음을 보여준다.

이차 형식의 주요 관심사는 그 부호와 관련된 성질이다. 정부호 (양의 정부호, 음의 정부호), 부정부호, 준정부호 등의 분류는 내적 공간의 정의나 최적화 문제에서 매우 중요하다. 예를 들어, 행렬의 고윳값 부호를 분석하여 이차 형식의 부호를 판별할 수 있다. 이러한 이차 형식의 분류는 미적분학에서 헤세 행렬을 이용한 극값 판정, 물리학에서 상대성 이론의 계량 텐서 등 다양한 분야에 응용된다.

내적 공간은 벡터 공간에 추가적인 구조를 부여하는 개념으로, 그 핵심은 내적이라 불리는 특별한 쌍선형 형식이다. 내적은 두 벡터를 입력받아 하나의 스칼라 값을 반환하는 함수이며, 이 함수는 쌍선형성, 대칭성, 그리고 양의 정부호성을 동시에 만족해야 한다. 즉, 임의의 벡터 u, v, w와 스칼라 a에 대해 ⟨u+v, w⟩ = ⟨u, w⟩ + ⟨v, w⟩, ⟨a*u, v⟩ = a*⟨u, v⟩의 선형성을 가지며, ⟨u, v⟩ = ⟨v, u⟩의 대칭성을 가진다. 또한, 영벡터가 아닌 모든 벡터 v에 대해 ⟨v, v⟩ > 0 이어야 한다.

이러한 내적의 정의는 유클리드 공간에서의 길이와 각도를 일반적인 벡터 공간으로 확장하는 토대를 제공한다. 내적을 통해 벡터의 노름이나 길이를 √⟨v, v⟩로 정의할 수 있으며, 두 벡터 사이의 각도는 ⟨u, v⟩ / (‖u‖‖v‖)의 값을 이용해 정의한다. 이는 해석기하학의 기본 개념을 추상화한 것으로, 함수해석학이나 미분기하학과 같은 고급 수학 분야에서 핵심 도구로 활용된다.

내적 공간은 쌍선형 형식의 가장 중요한 응용 분야 중 하나이다. 모든 내적은 대칭적이고 양의 정부호인 쌍선형 형식의 특별한 경우에 해당한다. 반면, 모든 쌍선형 형식이 내적이 되기 위해서는 앞서 언급한 엄격한 조건들을 모두 충족시켜야 한다. 예를 들어, 민코프스키 공간에서 사용되는 로런츠 계량은 대칭 쌍선형 형식이지만, 양의 정부호성이 성립하지 않아 내적의 정의를 만족하지 않는다.

쌍선형 형식은 다중선형 사상의 특별한 경우이다. 다중선형 사상은 일반적으로 두 개 이상의 벡터 변수를 가지며, 각 변수에 대해 따로 보았을 때 선형 변환의 성질을 만족하는 함수를 의미한다. 쌍선형 형식은 변수가 정확히 두 개인 다중선형 사상을 가리키며, 이는 벡터 공간의 데카르트 곱에서 스칼라 체로 가는 사상으로 정의된다.

보다 일반적으로, k개의 벡터 변수를 가지는 다중선형 사상을 k-선형 형식 또는 k-선형 사상이라고 부른다. 쌍선형 형식은 k=2인 경우에 해당한다. 이러한 다중선형 사상의 개념은 텐서 이론과 미분기하학의 기본 도구로 확장되어, 접공간 위의 미분 형식이나 리만 계량과 같은 구조를 정의하는 데 핵심적인 역할을 한다.

쌍선형 형식의 중요한 두 가지 하위 분류는 대칭 쌍선형 형식과 반대칭 쌍선형 형식이다. 대칭성은 B(v, w) = B(w, v)를, 반대칭성은 B(v, w) = -B(w, v)를 만족하는 성질을 말한다. 모든 쌍선형 형식은 유일하게 하나의 대칭 형식과 하나의 반대칭 형식의 합으로 표현될 수 있다. 이러한 분해는 이차 형식과 교대 형식을 연구하는 데 중요한 기초가 된다.